A Study of Modern Linux API Usage and Compatibility: What to Support When You’re Supporting Chia-Che Tsai Bhushan Jain

Source URL: www3.cs.stonybrook.edu

• Application programming interfaces
• System calls
• Cross-platform software
• C standard library
• GNU C Library
• Ioctl
• Linux distribution
• Linux
• Unix
• Ubuntu
• Compatibility layer
• Chroot

Julia: A Fast Dynamic Language for Technical Computing Jeff Bezanson∗ MIT Stefan Karpinski† MIT

Source URL: karpinski.org

• Software engineering
• Computer programming
• Computing
• Type theory
• Data types
• Polymorphism
• Object-oriented programming
• Subroutines
• Covariance and contravariance
• Parameter
• Type system
• Anonymous function

Retrospective Protection utilizing Binary Rewriting Sergej Proskurin, Fatih Kilic, Claudia Eckert1 Abstract: Buffer overflow vulnerabilities present a common threat. To encounter this issue, operating system support and

Source URL: www.sec.in.tum.de

• Computing
• Software
• Software bugs
• Programming language implementation
• Subroutines
• Portable Executable
• Position-independent code
• Object file
• Dynamic linker
• Stack buffer overflow
• Buffer overflow
• Return-to-libc attack

Moose Quick-Ref Card A modern object system for Perl 5 Exported Functions use Moose;

Source URL: gorwits.me.uk

• Software engineering
• Computer programming
• Computing
• Method
• Object-oriented programming
• Object
• Moose
• Metaclass
• Mutator method
• Constructor
• Subtyping
• Immutable object

​Attacking Interoperability: ​An OLE Edition • • Haifei Li ()

Source URL: www.blackhat.com

• Computing
• Software
• Inter-process communication
• System software
• Object-oriented programming
• Rich Text Format
• Technical communication
• Object Linking and Embedding
• OLE
• WordPad
• Intel Security
• Address space layout randomization

Ginkgo: Automated, Application-Driven Memory Overcommitment for Cloud Computing Abel Gordon, Michael R. Hines, Dilma da Silva, Muli Ben-Yehuda, Marcio Silva

Source URL: www.mulix.org

• Software
• System software
• Computing
• Computer networking
• Programming language implementation
• Virtual machine
• Hyper-V
• VMware ESXi
• VM
• Hypervisor
• Virtualization
• Xen

Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden

Source URL: hexhive.github.io

• Software engineering
• Computer programming
• Programming language theory
• Abstract interpretation
• Symbolic execution
• Program analysis
• KeY
• Disassembler
• Pattern matching
• Forth
• Symbolic
• Concolic testing

Programming-By-Example Gesture Recognition Kevin Gabayan, Steven Lansel December 15, 2006 Abstract Machine learning and hardware improvements to a programming-by-example rapid prototyping system are proposed. Exemplar, a

Source URL: cs229.stanford.edu

xpanda Table of contents Introduction......................................................................................................................................1 Usage........................................

Source URL: potassco.sourceforge.net

• Mathematics
• Constraint programming
• Declarative programming
• Software engineering
• Formal methods
• Theoretical computer science
• Lambda calculus
• Syntax
• Variable
• HindleyMilner type system
• Constraint logic programming
• Local consistency

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Tom Ridge1 David Sheets2 Thomas Tuerk3 Andrea Giugliano1 Anil Madhavapeddy2 Peter Sewell2 1 University of Leicester 2 Universi

Source URL: anil.recoil.org

• Computing
• Software
• System software
• Application programming interfaces
• Rename
• Symbolic link
• POSIX
• File system permissions
• Hard link
• File locking
• File system
• Tar